Tiles for Reo
نویسندگان
چکیده
Reo is an exogenous coordination model for software components. The informal semantics of Reo has been matched by several proposals of formalization, exploiting co-algebraic techniques, constraint-automata, and coloring tables. We aim to show that the Tile Model offers a flexible and adequate semantic setting for Reo, such that: (i) it is able to capture context-aware behavior; (ii) it is equipped with a natural notion of behavioral equivalence which is compositional; (iii) it offers a uniform setting for representing not only the ordinary execution of Reo systems but also dynamic reconfiguration strategies.
منابع مشابه
THE STRUCTURE OF [P$(ReO,) (p-dppm),] [Re0,7,2
Acluster[ pt (Reo )(?-dppm) ][Reo ],2 [dppm=ph Pch ] with oxidaton of [pt Re(CO) ](?-dppm) ][PF ] is prepred . Crystals are triclinic,pl; a= 14.154(4)?, b=14.213(3) ?,c = 20.522(4) ? , a = 78.938(14)?, ?= 75.812(19) ? , ?= 74,957(22) ? ;v = 3828.9(1 5) ? ,z =2 ; Eraf-Noniu CAD4 difhctorneter with Mo- K radiation, ? = 0.71073 ? ; R = 0.069, R = 0.077 for 284 parameters and 5414 reflect...
متن کاملA compositional model to reason about end-to-end QoS in Stochastic Reo connectors
In this paper we present a compositional semantics for the channel-based coordination language Reo that enables the analysis of quality of service (QoS) properties of service compositions. For this purpose, we annotate Reo channels with stochastic delay rates and explicitly model data-arrival rates at the boundary of a connector, to capture its interaction with the services that comprise its en...
متن کاملA Compositional Semantics for Stochastic Reo Connectors
In this paper we present a compositional semantics for the channel-based coordination language Reo which enables the analysis of quality of service (QoS) properties of service compositions. For this purpose, we annotate Reo channels with stochastic delay rates and explicitly model data-arrival rates at the boundary of a connector, to capture its interaction with the services that comprise its e...
متن کاملReo: a channel-based coordination model for component composition
In this paper, we present Reo, a paradigm for composition of software components based on the notion of mobile channels. Reo is a channel-based exogenous coordination model wherein complex coordinators, called connectors are compositionally built out of simpler ones. The simplest connectors in Reo are a set of channels with well-defined behavior supplied by users. Reo can be used as a language ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008